(0 20 4)(1 19 7)(2 18 16)(3 9 6)(5 14 13)(8 12 10)(11 17 15)
ALLOWS (11/8)-SEQUENCE
1: (4 17 20)
(0 20 15 11 17)(1 19 7)(2 18 16)(3 9 6)(4)(5 14 13)(8 12 10)
2: (1 19 7)
(0 20 15 11 17)(1)(2 18 16)(3 9 6)(4)(5 14 13)(7)(8 12 10)(19)
3: (2 18 16)
(0 20 15 11 17)(1)(2)(3 9 6)(4)(5 14 13)(7)(8 12 10)(16)(18)(19)
4: (0 11 17)
(0)(1)(2)(3 9 6)(4)(5 14 13)(7)(8 12 10)(11 20 15)(16)(17)(18)(19)